Computer network programming - PDFSEARCH.IO - Document Search Engine

Computer network programming
Results: 601

#	Item
381	Structure Learning of Markov Logic Networks through Iterated Local Search Marenglen Biba and Stefano Ferilli and Floriana Esposito1 Abstract. Many real-world applications of AI require both probability and first-order lo Add to Reading List Source URL: www.comp.leeds.ac.uk Language: English - Date: 2008-08-18 09:29:21 Logic Automated theorem proving Theoretical computer science Mathematical logic Statistical models Markov logic network Algorithm Logic programming Resolution Bayesian statistics Statistics Mathematics
382	Incremental Dynamic Controllability Revisited Mikael Nilsson and Jonas Kvarnstr¨om and Patrick Doherty Department of Computer and Information Science Link¨oping University, SE[removed]Link¨oping, Sweden {mikni,jonkv,pat Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2013-03-25 09:28:17 Constraint programming Graph Flow network Local consistency Matroid theory Graph theory Mathematics Theoretical computer science
383	Classical Dynamic Controllability Revisited A Tighter Bound on the Classical Algorithm Mikael Nilsson, Jonas Kvarnstr¨om and Patrick Doherty Department of Computer and Information Science, Link¨oping University, SE-581 Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2014-04-25 10:49:37 Applied mathematics Network flow Operations research Local consistency Flow network Bellman–Ford algorithm Decomposition method Constraint programming Theoretical computer science Mathematics
384	ECPI University Associate of Science: Computer and Information Science Concentration: Network Security http://www.ecpi.edu/military/ Academic Residency - 25% of coursework NCPACE CD-ROM courses are authorized academic co Add to Reading List Source URL: dlncpace.com Language: English - Date: 2014-10-01 16:43:01 Freedesktop.org Application programming interfaces X Window System Mac OS X Mach Software System software Computing
385	A P P E N D I X B Debug Commands This appendix describes only the Catalyst 3550-specific debug privileged EXEC commands. These Add to Reading List Source URL: www.cisco.com Language: English Software engineering EtherChannel Ethernet Network architecture Debugging Debug Cisco IOS Computing Computer programming Debuggers
386	Common Lisp Sockets APIs An analysis and proposal Dave Roberts dave-at-findinglisp-com www.findinglisp.com Version 0.2.5, 27-Dec-2005 Add to Reading List Source URL: www.findinglisp.com Language: English - Date: 2005-12-27 11:23:41 Internet protocol suite Application programming interface STREAMS Computer network programming Unix domain socket IPv6 Thread Common Lisp IPv4 Computing Network socket Berkeley sockets
387	Abstract We describe a framework for linking together a structured ontology, deductive logic, and probability, Add to Reading List Source URL: www.cyc.com Language: English - Date: 2013-01-04 15:21:01 Theoretical computer science Artificial intelligence Logical consequence Reasoning Programming paradigms Cyc Markov logic network Probabilistic logic First-order logic Logic Science Knowledge
388	Structure Learning of Markov Logic Networks through Iterated Local Search Marenglen Biba and Stefano Ferilli and Floriana Esposito1 Abstract. Many real-world applications of AI require both probability and first-order lo Add to Reading List Source URL: www.di.uniba.it Language: English - Date: 2008-10-06 05:35:01 Logic Automated theorem proving Theoretical computer science Mathematical logic Statistical models Markov logic network Algorithm Logic programming Resolution Bayesian statistics Statistics Mathematics
389	Structure Learning of Markov Logic Networks through Iterated Local Search Marenglen Biba and Stefano Ferilli and Floriana Esposito1 Abstract. Many real-world applications of AI require both probability and first-order lo Add to Reading List Source URL: www.di.uniba.it Language: English - Date: 2008-10-06 05:35:01 Logic Automated theorem proving Theoretical computer science Mathematical logic Statistical models Markov logic network Algorithm Logic programming Resolution Bayesian statistics Statistics Mathematics
390	Education leaders unite: K.U.Leuven DistriNet and SANS to cooperate on security education -- First European partner for secure programming initiative of SANS. Leuven, Belgium – 6 May, 2008 – DistriNet, the security r Add to Reading List Source URL: software-security.sans.org Language: English - Date: 2012-08-27 12:08:53 Computer security Middleware Software engineering Computer network security SANS Institute Security

UPDATE